check technique造句
例句與造句
- the check technique of electrical equipment break down
電氣設(shè)備故障的檢修技術(shù) - an approach for formally analyzing distributed control systems at architectural level is illustrated by applying software architecture description and model checking techniques
利用軟件體系結(jié)構(gòu)的思想，基于事件通知服務(wù)中間件和模型檢查技術(shù)，對(duì)分布式控制系統(tǒng)進(jìn)行了形式化分析與設(shè)計(jì)。 - whats more, the company possesses advanced checking technique, perfect quality control and guarantee system, and has passed through certification of iso9000 international quality system
檢測(cè)手段先進(jìn)，質(zhì)量管理和質(zhì)量保證體系完善，并通過了iso9000國(guó)際質(zhì)量體系認(rèn)證，所有產(chǎn)品都通過國(guó)家強(qiáng)制性3c認(rèn)證。 - however, concurrent systems with time restriction namely real-time systems are used widely in reallife, and the model-checking techniques are more and more applied to the verification of the properties of the real-time systems
實(shí)際生活中廣泛應(yīng)用的是帶有時(shí)間約束的并發(fā)系統(tǒng)即實(shí)時(shí)系統(tǒng)，現(xiàn)在模型檢測(cè)技術(shù)越來(lái)越被廣泛地應(yīng)用到這類系統(tǒng)的性質(zhì)驗(yàn)證當(dāng)中。 - based on the characteristics of vehicle structure, the paper presents the check technique for traffic vehicle from the remote sensing images, introduces the transformation process from the grey scale of image to the dual value image, and finally expounds the marginal check ( contour tracing ), image dividing, mode distinguishing and the vision of machine
摘要在分析固定場(chǎng)景中車輛圖片結(jié)構(gòu)特征的基礎(chǔ)上，提出了從遙感圖中檢測(cè)車輛的方法，具體介紹了將遙感灰度圖像轉(zhuǎn)換為二值圖像，并進(jìn)一步闡述了邊緣檢測(cè)（輪廊的跟蹤）、圖像分割、模式識(shí)別、機(jī)器視覺等作用。 - It's difficult to find check technique in a sentence. 用check technique造句挺難的
- the paper involved srm s maths model, velocity-control theory and feedback-signal-check technique . according to srd s main technical demand, srm s raw data and srm s control theory, the main system was divided into several modules . based on the modules, by selecting proper components and calculating right parameters, in parallel with the sample machine s experiments, the cotroller s design was completed and the system completely meet the demands
根據(jù)開關(guān)磁阻電動(dòng)機(jī)驅(qū)動(dòng)系統(tǒng)的主要技術(shù)要求和開關(guān)磁阻電動(dòng)機(jī)的原始數(shù)據(jù)以及控制理論，將2.2kwsr電動(dòng)機(jī)控制器系統(tǒng)的設(shè)計(jì)劃分為幾大功能模塊，進(jìn)而通過系統(tǒng)元器件的選型和參數(shù)計(jì)算，結(jié)合樣機(jī)試驗(yàn)，完成了對(duì)2.2kwsr電動(dòng)機(jī)控制器系統(tǒng)的設(shè)計(jì)，并達(dá)到功能要求。 - recent research on automatic verification has shown that no single model-checking technique has the edge over all others in all application areas . so, it is very difficult to determine which technique is the most suitable for a given model . it is thus sensible to apply different techniques to the same model
最近關(guān)于自動(dòng)驗(yàn)證技術(shù)研究表明在一個(gè)復(fù)雜系統(tǒng)分析和驗(yàn)證中，基于不同原理的modelchecking技術(shù)的使用效果有很大的區(qū)別，對(duì)于一個(gè)給定的應(yīng)用系統(tǒng)模型而言，選擇哪一種modelchecking技術(shù)最合適是一件十分困難的工作。